INCLUDES=-I$(top_srcdir)/include -I$(top_srcdir)/src/cudd/include
sources= st.c

noinst_LIBRARIES = libst.a
libst_a_SOURCES= $(sources)

